تشريح الاصول : حاج ميرزا حسن بن محمد باقر معانى تبريزى ، تبريز ، 1305 ق ، سنگى ، با فصول الغروية در يك جلد . تشريح الاصول الصغير : آخوند ملا على بن فتح اللّه نهاوندى ، تبريز ، 1312 ق ، سنگى ، رحلى ، بىشماره صفحه ، با مشارق الاصول در يك مجلد . تشريع الاصول الكبير : آخوند ملا على بن فتح اللّه نهاوندى نجفى ، طهران ، 16 - 1320 ق ، سنگى ، وزيرى ، خط جعفر بن محمد باقر بحر العلوم طباطبائى 292 ص . تشريح الافلاك : محمد بن حسين جبعى عاملى شيخ بهائى ، طهران ، 1319 ق ، سنگى ، خشتى ، خط زين العابدين قمى ، بىشماره صفحه با خلاصة الحساب و هيئت قوشچى و سى فصل و معرفة التقويم و غيره . طهران ، 1319 ق ، سنگى ، خشتى ، 45 ، + 62 + 44 + 63 + 42 + 15 + 63 ص با خلاصة الحساب و غيره . طهران ، 1316 ق ، سنگى ، خشتى ، 173 ص با خلاصة الحساب و غيره . طهران ، 1293 ق ، سنگى ، خشتى ، خط عبد الرحيم بن محمد تقى تبريزى ، بىشماره صفحه ، با خلاصة الحساب و غيره . طهران ، 1291 ق ، سنگى ، خشتى ، خط ملا - حسين خراسانى ، بىشماره صفحه ، با خلاصة - الحساب و غيره . طهران ، 1279 ق ، سنگى ، خشتى ، خط محمد - على ، بىشماره صفحه ، با خلاصة الحساب و غيره .